AI资讯新闻榜单内容搜索-AI

关键词: AI新闻,Kimi,Kimi K3,人工智能

Kimi 刷新 629 条边图论参考纪录，只多加了1条边，为什么数学界等了这么多年？

关键词: AI新闻,Gemini 4 Carbon,谷歌AI,Gemini

Google DeepMind全球开放Gemini 4 Carbon，并以AlphaProof Code驱动AI Agent在四周内为Signal生成逾650万行经机器检查的Lean证明代码，验证其核心实现的安全属性。

关键词: AI新闻,Supply Co,AI掌机,ModRetro Chromatic Codex Edition

小时候想拥有一台 Game Boy，长大后想自己做一款 Game Boy 游戏，没想到 OpenAI 准备同时实现你这两个愿望。

关键词: AI新闻,PhysMind,模型训练,ATW

AI 能逼真地 “搭出” 一个世界，就能准确预测它如何运转吗？GPT-6 Astra 展现出的场景建模能力令人印象深刻。但几何与外观的逼真还原，并不意味着对物理规律的准确把握。避免物体穿模、借助语义先验估计物理属性，与准确推演物体运动之间，仍有距离。后者还需要进一步识别质量、摩擦系数和阻尼等难以仅凭外观确定的属性与参数。

关键词: AI新闻,AI作图,Seedream5.5,Seedream

现在让 AI 生成一张漂亮的图片，已经算不上什么难事了。

关键词: AI新闻,AI Scientists' Last Exam,AISLE,律动造物

前段时间，Anthropic 展示了一项 AI for Science 研究成果：Claude 在 64 小时内生成了 31.8 万个蛋白质设计方案，经过筛选，211 个被送入湿实验室测试，最终有 17 个达到预设的蛋白结合标准，展示了 AI 科学设计走向真实实验验证的巨大潜力。但 Anthropic 也指出，从结合命中到真正可用的抗毒疗法，仍面临复杂的活性验证与成药性考验等一系列考验。

关键词: AI新闻,具身智能,HALO,苹果机器人

苹果新 CEO 最近对自家 AI 的进度有点不满意。

关键词: AI新闻,Hojo,AI语音交互,AI录音转文字

让 Agent 进入高价值沟通的第一现场。

关键词: AI新闻,腾讯AI,姚顺雨,AI自主科学实验室

姚顺雨亲自发表演讲，腾讯的AI for Science首度曝光！

关键词: AI新闻,Theseus Lab,deliverbench,人工智能

Anthropic 工程师刚刚提出 “95% 的工程师已经在跑自我改进循环。” RSI 热潮推到眼前，递归循环跑起来了，AI 究竟变强了多少？本文将公开 Theseus Lab 进化纪元的洞察和愿景，并开源 3 项相关工作。